(fxlognot -7)
=> 6
(fxlognot (fxlogor (fxlognot 7) 1))
=> 6
(fxlognot (fxlogor (fxlognot 7) (fxlognot 2)))
=> 2
(fxlogand (fxlognot (fxlognot 12)) (fxlognot (fxlognot 12)))
=> 12
(fx+ (fx+ 1 2) (fx+ 3 4))
=> 10
(fx+ (fx+ 1 2) (fx+ 3 -4))
=> 2
(fx+ (fx+ 1 2) (fx+ -3 4))
=> 4
(fx+ (fx+ 1 2) (fx+ -3 -4))
=> -4
(fx+ (fx+ 1 -2) (fx+ 3 4))
=> 6
(fx+ (fx+ 1 -2) (fx+ 3 -4))
=> -2
(fx+ (fx+ 1 -2) (fx+ -3 4))
=> 0
(fx+ (fx+ 1 -2) (fx+ -3 -4))
=> -8
(fx+ (fx+ -1 2) (fx+ 3 4))
=> 8
(fx+ (fx+ -1 2) (fx+ 3 -4))
=> 0
(fx+ (fx+ -1 2) (fx+ -3 4))
=> 2
(fx+ (fx+ -1 2) (fx+ -3 -4))
=> -6
(fx+ (fx+ -1 -2) (fx+ 3 4))
=> 4
(fx+ (fx+ -1 -2) (fx+ 3 -4))
=> -4
(fx+ (fx+ -1 -2) (fx+ -3 4))
=> -2
(fx+ (fx+ -1 -2) (fx+ -3 -4))
=> -10
(fx+ (fx+ (fx+ (fx+ (fx+ (fx+ (fx+ (fx+ 1 2) 3) 4) 5) 6) 7) 8) 9)
=> 45
(fx+ 1 (fx+ 2 (fx+ 3 (fx+ 4 (fx+ 5 (fx+ 6 (fx+ 7 (fx+ 8 9))))))))
=> 45
(fx+ (fx+ (fx+ (fx+ 1 2) (fx+ 3 4)) (fx+ (fx+ 5 6) (fx+ 7 8))) (fx+ (fx+ (fx+ 9 10) (fx+ 11 12)) (fx+ (fx+ 13 14) (fx+ 15 16))))
=> 136
(fx- (fx- 1 2) (fx- 3 4))
=> 0
(fx- (fx- 1 2) (fx- 3 -4))
=> -8
(fx- (fx- 1 2) (fx- -3 4))
=> 6
(fx- (fx- 1 2) (fx- -3 -4))
=> -2
(fx- (fx- 1 -2) (fx- 3 4))
=> 4
(fx- (fx- 1 -2) (fx- 3 -4))
=> -4
(fx- (fx- 1 -2) (fx- -3 4))
=> 10
(fx- (fx- 1 -2) (fx- -3 -4))
=> 2
(fx- (fx- -1 2) (fx- 3 4))
=> -2
(fx- (fx- -1 2) (fx- 3 -4))
=> -10
(fx- (fx- -1 2) (fx- -3 4))
=> 4
(fx- (fx- -1 2) (fx- -3 -4))
=> -4
(fx- (fx- -1 -2) (fx- 3 4))
=> 2
(fx- (fx- -1 -2) (fx- 3 -4))
=> -6
(fx- (fx- -1 -2) (fx- -3 4))
=> 8
(fx- (fx- -1 -2) (fx- -3 -4))
=> 0
(fx- (fx- (fx- (fx- (fx- (fx- (fx- (fx- 1 2) 3) 4) 5) 6) 7) 8) 9)
=> -43
(fx- 1 (fx- 2 (fx- 3 (fx- 4 (fx- 5 (fx- 6 (fx- 7 (fx- 8 9))))))))
=> 5
(fx- (fx- (fx- (fx- 1 2) (fx- 3 4)) (fx- (fx- 5 6) (fx- 7 8))) (fx- (fx- (fx- 9 10) (fx- 11 12)) (fx- (fx- 13 14) (fx- 15 16))))
=> 0
(fx* (fx* (fx* (fx* 2 3) (fx* 4 5)) (fx* (fx* 6 7) (fx* 8 9))) (fx* (fx* (fx* 2 3) (fx* 2 3)) (fx* (fx* 2 3) (fx* 2 3))))
=> 470292480
(fxlognot (fxlogor (fxlognot 7) 1))
=> 6
(fxlognot (fxlogor (fxlognot 7) (fxlognot 2)))
=> 2
(fxlogand (fxlognot (fxlognot 12)) (fxlognot (fxlognot 12)))
=> 12
(fx= (fx+ 13 3) (fx+ 10 6))
=> #t
(fx= (fx+ 13 0) (fx+ 10 6))
=> #f
(fx= (fx+ 12 1) (fx+ -12 -1))
=> #f
(fx< (fx+ 10 6) (fx+ 13 1))
=> #f
(fx< (fx+ 10 6) (fx+ 13 3))
=> #f
(fx< (fx+ 10 6) (fx+ 13 31))
=> #t
(fx< (fx+ 12 1) (fx+ -12 -1))
=> #f
(fx< (fx+ -12 -1) (fx+ 12 1))
=> #t
(fx<= (fx+ 10 6) (fx+ 13 1))
=> #f
(fx<= (fx+ 10 6) (fx+ 13 3))
=> #t
(fx<= (fx+ 10 6) (fx+ 13 31))
=> #t
(fx<= (fx+ 12 1) (fx+ -12 -1))
=> #f
(fx<= (fx+ -12 -1) (fx+ 12 1))
=> #t
(fx> (fx+ 10 6) (fx+ 13 1))
=> #t
(fx> (fx+ 10 6) (fx+ 13 3))
=> #f
(fx> (fx+ 10 6) (fx+ 13 31))
=> #f
(fx> (fx+ 12 1) (fx+ -12 -1))
=> #t
(fx> (fx+ -12 -1) (fx+ 12 1))
=> #f
(fx>= (fx+ 10 6) (fx+ 13 1))
=> #t
(fx>= (fx+ 10 6) (fx+ 13 3))
=> #t
(fx>= (fx+ 10 6) (fx+ 13 31))
=> #f
(fx>= (fx+ 12 1) (fx+ -12 -1))
=> #t
(fx>= (fx+ -12 -1) (fx+ 12 1))
=> #f